Practical Limits on Software Dependability: A Case Study
نویسندگان
چکیده
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in which every aspect of software dependability can be demonstrated with high confidence. In this paper, we present the results of a case study exploration of the practical limitations on software dependability. We analyze a software assurance argument for weaknesses and extrapolate a set of limitations including dependence upon correct requirements, dependence upon reliable human-to-human communication, dependence upon human compliance with protocols, dependence upon unqualified tools, the difficulty of verifying low-level code, and the limitations of testing. We discuss each limitation’s impact on our specimen system and potential mitigations.
منابع مشابه
Dependability of Computer Systems: Concepts, Limits, Improvements - Software Reliability Engineering, 1995. Proceedings., Sixth International Symposium on
Our society is faced with an ever increasing dependence on computing systems, which lead to question ourselves about the limits of their dependability, and to attempt to identih avenues fo r improving the situation. In order to respond these questions, a global conceptual and terminological framework is needed, which is first given. The limits in dependability are then addressed, from technical...
متن کاملStimation of T Ime - D Ependent C Overage
Abstract. It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage. However, most previous work on coverage evaluation by statistical processing of the results of fault-injection experiments has only been concerned with estimating asymptotic coverage. In thi...
متن کاملA practical framework for eliciting and modeling system dependability requirements: Experience from the NASA high dependability computing project
The dependability of a system is contextually subjective and reflects the particular stakeholder s needs. In different circumstances, the focus will be on different system properties, e.g., availability, real-time response, ability to avoid catastrophic failures, and prevention of deliberate intrusions, as well as different levels of adherence to such properties. Close involvement from stakehol...
متن کاملOn Guaranteeing Global Dependability Properties in Collaborative Business Process Management
The Service-Oriented Architecture (SOA) paradigm supports a collaborative business model, where business applications are built from independently developed services, and services and applications build up complex dependencies. Guaranteeing high dependability levels in such complex environment is a key factor for the success of this model. In this chapter we discuss issues concerning the design...
متن کاملEstimation of Time-Dependent Coverage
It is well-known that the dependability that can be achieved by a fault-tolerant system is particularly sensitive to both the asymptotic value of coverage and to the time distribution of coverage. However, most previous work on coverage evaluation by statistical processing of the results of fault-injection experiments has only been concerned with estimating asymptotic coverage. In this paper, w...
متن کامل